Procedural programming languages - PDFSEARCH.IO - Document Search Engine

Procedural programming languages
Results: 6378

#	Item
111	Design and Analysis of Executable Software Models: An Introduction and Overview Reiner H¨ahnle joint work with Antonio F. Montoya, Richard Bubel, Crystal C. Din and many others! Technical University of Darmstadt haehnle Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2014-06-17 02:41:37 Procedural programming languages Cross-platform software Object-oriented programming languages Modeling language Scientific modeling Go D
112	Semantic Patches for specifying and automating Collateral Evolutions Yoann Padioleau Add to Reading List Source URL: coccinelle.lip6.fr Language: English Procedural programming languages Cross-platform software D ALGOL 68
113	TECHNICAL REPORT TRJune 1969 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2016-07-21 08:26:36 Procedural programming languages PL/I Syntax Programming language ALGOL 68
114	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN, JOHN COWAN, STEVEN GANZ AARON W. HSU BRADLEY LUCIER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:20:03 Source code Compiler construction Procedural programming languages Functional languages Data types Scheme Variable Scope Lisp Lexical analysis Identifier Syntax
115	A Programmer’s Guide to Ethereum and Serpent Kevin Delmolino Mitchell Arnett Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2015-04-19 03:45:09 Cryptocurrencies Cross-platform software Ethereum Procedural programming languages Data types Solidity Blockchain Go Smart contract Variable Joseph Lubin Parameter
116	Implementing a Generic Radix Trie in Rust Michael Sproul University of California, Santa Cruz University of Sydney Introduction Add to Reading List Source URL: michaelsproul.github.io Language: English - Date: 2015-03-30 20:03:55 Data types Procedural programming languages Functional programming Concurrent programming languages Functional languages Trie Rust Radix tree Associative array Pointer Go Immutable object
117	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
118	cs281: Introduction to Computer Systems Project Lab 1: The Datalab Assigned: Sept. 4, Due: Sept Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 C Procedural programming languages Data types Source code C++ classes Bit field ALGOL 68 Include directive Struct Tar
119	1 RUST MEETUP COLOGNE – FEB 2016 – PASCAL HERTLEIF RUST WITH CONFIDENCE Add to Reading List Source URL: rustaceans.cologne Language: English - Date: 2016-08-17 10:30:30 Concurrent programming languages Procedural programming languages Mozilla Rust Go Subroutine Cargo Pascal Block
120	PLACES 2013 Programming Language Approaches to Communication- and Concurrency-cEntric Software (6th International Workshop) An ETAPS Satellite Event Add to Reading List Source URL: places13.di.fc.ul.pt Language: English - Date: 2014-02-12 06:01:38 Data types Procedural programming languages Software design patterns Data management Transaction processing Schedule Type system Const D ALGOL 68 Monad

UPDATE